Cupping with Random Sets
نویسندگان
چکیده
We prove that a set is K-trivial if and only if it is not weakly ML-cuppable. Further, we show that a set below zero jump is K-trivial if and only if it is not ML-cuppable. These results settle a question of Kučera, who introduced both cuppability notions.
منابع مشابه
Universal Cupping Degrees
Cupping nonzero computably enumerable (c.e. for short) degrees to 0′ in various structures has been one of the most important topics in the development of classical computability theory. An incomplete c.e. degree a is cuppable if there is an incomplete c.e. degree b such that a∪b = 0′, and noncuppable if there is no such degree b. Sacks splitting theorem shows the existence of cuppable degrees....
متن کاملMeasure and Cupping in the Turing Degrees
We answer a question of Jockusch by showing that the measure of the Turing degrees which satisfy the cupping property is 0. In fact, every 2-random degree has a strong minimal cover, and so fails to satisfy the cupping
متن کاملBenign cost functions and lowness properties
We show that the class of strongly jump-traceable c.e. sets can be characterised as those which have sufficiently slow enumerations so they obey a class of well-behaved cost function, called benign. This characterisation implies the containment of the class of strongly jump-traceable c.e. Turing degrees in a number of lowness classes, in particular the classes of the degrees which lie below inc...
متن کاملLogic Blog
1. Jan 2010: a downward GL1 set that is not weakly jump traceable 2 1.1. Original result 2 1.2. New results 2 1.3. Comments 2 2. March 2010: Structures that are computable almost surely 2 2.1. A structure that is computable almost surely, is computable in every Π1 random 2 2.2. Related questions 3 3. May 2010 : Cooper’s jump inversion and weak jump traceability 3 4. May 2010: The collection of ...
متن کاملViolation of the ISNT rule in Nonglaucomatous pediatric optic disc cupping.
PURPOSE To determine whether nonglaucomatous optic disc cupping in children violates the ISNT rule (which states that for normal optic discs the neuroretinal rim width is greatest in the order inferior >or= superior >or= nasal >or= temporal). METHODS Digital ocular fundus photographs from a random cohort of children with large optic disc cups of nonglaucomatous origin were analyzed in masked ...
متن کامل